Crate ascent_macro

source

Macrosยง

  • ascent
    The main macro of the ascent library. Allows writing logical inference rules similar to Datalog.
  • ascent_par
    Similar to ascent, allows writing logic programs in Rust.
  • ascent_run
    Like ascent, except that the result of an ascent_run invocation is a value containing all the relations defined inside the macro body, and computed to a fixed point.
  • ascent_run_par
    The parallelized version of ascent_run